2024-06-29 Functional Programming in Lean
Example: Arithmetic in Monads - Functional Programming in Lean
Haskell モナド
do-Notation for Monads - Functional Programming in Lean
The do Notation - Lean Manual